English technique for demonstrating theorems: la traduction en autres langues